теорема рекурсии

теорема рекурсии

 

теорема рекурсии
 —
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Тематики

  • информационные технологии в целом

EN

  • recursion theorem


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем написать реферат

Смотреть что такое "теорема рекурсии" в других словарях:

  • теорема о рекурсии — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN recursion theorem …   Справочник технического переводчика

  • Модель жизнеспособной системы — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Викифицировать статью. Исправить статью согласно стилистическим правилам В …   Википедия

  • Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

  • РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… …   Философская энциклопедия

  • ЛОГИКА СИМВОЛИЧЕСКАЯ —     ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …   Философская энциклопедия

  • ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …   Математическая энциклопедия

  • ОПРЕДЕЛИМОСТЬ —         одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …   Философская энциклопедия

  • АЛГОРИТМОВ СОЧЕТАНИЯ — название, установившееся за рядом конкретных способов конструирования новых алгоритмов из нескольких заданных. В применении к нормальным алгорифмам наибольшую известность получили следующие А. с.: нормальная композиция двух нормальных алгорифмов …   Математическая энциклопедия

  • Клини, Стивен Коул — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Стивен Коул Клини (правильнее  Клейни, англ. Stephen Cole Kle …   Википедия

  • Клини — Клини, Стивен Коул Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»